321. Architecture Design and Validation Methods
پدیدآورنده: Egon Börger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
A73
E366
2013
322. Aristotle in Hollywood :
پدیدآورنده: Ari Hiltinen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Aristotle-- Influence.,Aristotle., Poetics.,Aristotle.,Poetics (Aristotle),Motion picture authorship.,Bellettrie.,Influence (Literary, artistic, etc.),LANGUAGE ARTS & DISCIPLINES-- Composition & Creative Writing.,LANGUAGE ARTS & DISCIPLINES-- Rhetoric.,Motion picture authorship.,REFERENCE-- Writing Skills.,Verhalen.,Verteltheorie.
رده :
PN1996
.
H55
2002eb
323. Artificial neural network for drug design, delivery, and disposition
پدیدآورنده: edited by Munish Puri, Yashwant Pathak, Vijay Kumar Sutariya, Srinivas Tipparaju, Wilfrido Moreno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Neural networks (Computer science),Pharmaceutical technology.,Pharmacology-- Data processing.,Automatic Data Processing,Drug Delivery Systems,Drug Discovery-- methods,Neural Networks (Computer),Technology, Pharmaceutical
324. Augustine's Utilization of Rhetorical Economy in His Early Theology of Creation (On Genesis against the Manichaeans 1.21.32)
پدیدآورنده: Brian Gronewoller
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Augustine of Hippo,creation,economy (oeconomia),rhetorical theory,theology
325. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
326. Automated Theory Formation in Pure Mathematics
پدیدآورنده: by Simon Colton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA8
.
4
B975
2002
327. Automated reasoning with analytic tableaux and related methods :
پدیدآورنده: Didier Galmiche, Dominique Larchey-Wendling (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
328. Automation of Reasoning :
پدیدآورنده: edited by Jörg H. Siekmann, Graham Wrightson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
A96
E358
1983
329. Autonomous, Model-Based Diagnosis Agents
پدیدآورنده: by Michael Schroeder.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Information storage and retrieval systems.
330. Autour de la géographie Orientale, et au-delà :
پدیدآورنده: textes rassemblés
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
338. BL
پدیدآورنده: 20090131 01893nam1 22002412i 450 001000700000020001700007100004500024101000800069200009900077210012900176215000900305320004500314327084900
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
